Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
281	J Philos Logic[removed]:83–125 DOI[removed]s10992[removed]Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences Johan van Benthem · Patrick Girard · Olivier Roy Add to Reading List Source URL: www.pgrim.org Language: English - Date: 2010-09-22 04:37:20 Model theory Non-classical logic Propositional calculus Modal logic Interpretation Entailment Ceteris paribus Bisimulation Linear temporal logic Logic Philosophical logic Metalogic
282	In Proc. of NIPS 2006, Vancouver, CA Fast Computation of Graph Kernels∗ S.V. N. Vishwanathan [removed] Add to Reading List Source URL: www.dbs.ifi.lmu.de Language: English - Date: 2007-03-12 04:50:29 Algebraic graph theory Adjacency matrix Matrices Matrix Eigenvalues and eigenvectors Graph Linear temporal logic Algebra Mathematics Graph theory
283	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-24 12:32:32 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
284	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:27:16 Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages
285	Norm Approximation for Imperfect Monitors Natasha Alechina Mehdi Dastani Brian Logan Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-03 09:38:31 Linear temporal logic Temporal logic
286	First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 IT Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-19 16:17:18 Recursion Constructible universe Forcing Fixed-point combinator Μ operator Linear temporal logic Mathematical logic Theoretical computer science Mathematics
287	LTL types FRP Linear-time Temporal Logic Propositions as Types Proofs as Functional Reactive Programs Alan Jeffrey Alcatel-Lucent Bell Labs [removed] Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-17 10:18:47 Mathematical analysis Structure Integral transforms Logic Holomorphic functional calculus Decomposition of spectrum Mathematics Metalogic Model theory
288	Modelling Communicating Agents in Timed Reasoning Logics Natasha Alechina, Brian Logan, and Mark Whitsey School of Computer Science and IT, University of Nottingham, UK. (nza,mtw,bsl)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2004-07-06 11:08:16 Formal languages Model theory Deduction Well-formed formula Entailment Function Epistemic modal logic Linear temporal logic Natural deduction Logic Metalogic Logical syntax
289	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
290	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics

UPDATE